\begin{tabbing}
$\forall$$A$:Type, $l_{1}$, $l_{2}$:IdLnk, ${\it tg}_{1}$, ${\it tg}_{2}$:Id, $I$:MaInterface($A$).
\\[0ex](source($l_{1}$) $\in$ ma{-}interface{-}locs($I$))
\\[0ex]$\Rightarrow$ (source($l_{2}$) $\in$ ma{-}interface{-}locs($I$))
\\[0ex]$\Rightarrow$ ($\neg$(source($l_{1}$) = source($l_{2}$) $\in$ Id))
\\[0ex]$\Rightarrow$ ($\neg$(${\it tg}_{1}$ $\in$ ma{-}interface{-}tags($I$)))
\\[0ex]$\Rightarrow$ ($\neg$(${\it tg}_{2}$ $\in$ ma{-}interface{-}tags($I$)))
\\[0ex]$\Rightarrow$ t\=riggersGlue($A$; $l_{1}$; ${\it tg}_{1}$; ma{-}interface{-}ds($I$;source($l_{1}$)); ($I$(source($l_{1}$)).2)) $\parallel$\+
\\[0ex]triggersGlue($A$; $l_{2}$; ${\it tg}_{2}$; ma{-}interface{-}ds($I$;source($l_{2}$)); ($I$(source($l_{2}$)).2))
\-
\end{tabbing}